upper semimodular lattice

上半模络